defer the domain mapping in scrub_one_page()
authorAndrew Cooper <andrew.cooper3@citrix.com>
Mon, 9 Dec 2013 13:13:23 +0000 (14:13 +0100)
committerJan Beulich <jbeulich@suse.com>
Mon, 9 Dec 2013 13:13:23 +0000 (14:13 +0100)
commit7dd4f9da063cb2cd43426c785535534c9d958ce5
treeab755789f481d753872343fff216f32d6eeea53d
parent2e213747ac49a382eeed2d493e767496482da2c8
defer the domain mapping in scrub_one_page()

This avoids a resource leak and needless playing with the pagetables in the
case that the page is broken.

Signed-off-by: Andrew Cooper <andrew.cooper3@citrix.com>
Reviewed-by: Jan Beulich <JBeulich@suse.com>
Reviewed-by: Keir Fraser <keir@xen.org>
xen/common/page_alloc.c